外觀
對於質數 p,我們有
證明:
當 p=2,3 容易驗證,所以以下討論 p≥5:
在 mod p 底下,非零元素皆有唯一乘法反完素,所以要確認反元素為自己的 (x−1≡x) 的是那些,然後從 0...p−1 之間把他們抽出即可。
所以,除去 1,p−1 剩下的元素乘起來為 1:
第一個等號是把 a 乘進 (p−1)!,第二個是因為 a,2a... 在 mod p 底下是另一個 1...p−1 的排列(因為兩兩不同餘)。
兩邊同時削掉 (p−1)!就可以得證。
令 f(x)=xp−x,可以發現 p∣f(x+1)−f(x):
然後因為 f(0)=0就可以知道 p∣f(x) ∀x。
14dc447